И.Б.Бурдонов, А.С.Косачев. Аналитическая верификация конформности. Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск).- М.: Изд-во МГУ, 2009, стр 261-264. 4 стр. doc, pdf, pdf_1, ppt